HTMLDOC was developed in response to a need to generate high quality
documentation in printed and electronic forms.  It converts source
HTML documentation into PDF and Postscript form, and has a GUI and
CLI front-end to accomplish this.

Commercial support is available from Easy Software Products, and
more information regarding this can be found at the homepage.
